Ordering Default Theories
نویسنده
چکیده
In first-order logic, a theory T1 is considered stronger than another theory T2 if every formula derived from T2 is also derived from T1. Such an order relation is useful to know relative value between different theories. In the context of default logic, a theory contains default information as well as definite information. To order default theories, it is necessary to assess the information content of a default theory. To this end, we introduce a multi-valued interpretation of default theories based on a nine-valued bilattice. It distinguishes definite and credulous/skeptical default information derived from a theory, and is used for ordering default theories based on their information contents. The technique is also applied to order nonmonotonic logic programs. The results of this paper provide a method for comparing different default theories and have important application to learning nonmonotonic theories.
منابع مشابه
Lexicographic priorities in default
Resolving connicts between default rules is a major subtask in performing default reasoning. A declarative way of controlling the resolution of connicts is to assign priorities to default rules, and to prevent connict resolution in ways that violate the priorities. This work extends Reiter's default logic with a priority mechanism that is based on lexicographic comparison. Given a default theor...
متن کاملModel-Preference Default Theories
Most formal theories of default inference have very poor computational properties, and are easily shown to be intractable, or worse, undecidable. We are therefore investigating limited but efficiently computable theories of default reasoning. This paper defines systems of Propositional Model-Preference Defaults, which provide a true modeltheoretic account of default inference with exceptions. T...
متن کاملIncorporating Nonmonotonic easoning i lause Theories
An approach for introducing default reasoning into first-order Horn clause theories is described. A default theory is expressed as a set of strict implications of the form cy1 A . . . A a, > ,f?, and a set of default rules of the form cy1 A . . . A on =+ p, where the ai and ,6 are function-free literals. A partial order of sets of formulae is obtained from these sets of (strict and default) imp...
متن کاملLexicographic Priorities in Default Logic
Resolving conflicts between default rules is a major subtask in performing default reasoning. A declarative way of controlling the resolution of conflicts is to assign priorities to default rules, and to prevent conflict resolution in ways that violate the priorities. This work extends Reiter’s default logic with a priority mechanism that is based on lexicographic comparison. Given a default th...
متن کاملCompiling Reasoning with and about Preferences into Default Logic
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory consists of a set of default rules, a set of world knowledge, and a set of fixed preferences on the default rules. This theory is transformed into a second, standard default theory, where, via the naming of defaults, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003